2.7.3 회귀 테스트(Regression Testing)에서의 불변량(Invariant)으로서의 결정론적 정답